🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·6h
🎯Gradual Typing
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Guessing Game: Haskell Style
entropicthoughts.com·20h
👑Dependent Haskell
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·14h
💻Local LLMs
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·6h
✅Format Verification
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·5h·
Discuss: DEV
🔒WASM Capabilities
TypeScript: Enable Strict Mode by Default
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·12h
🗄️File Systems
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·4h
🦀Rust Macros
Is Math Discovered or Invented?
curtispoe.org·11h
🔲Proof Irrelevance
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·43m·
Discuss: Hacker News
🦀Rust Macros
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·14h·
Discuss: Hacker News
🔐Homomorphic Encryption
On systematic construction of correct logic programs
arxiv.org·14h
⚖️Hoare Logic
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·3h·
Discuss: Hacker News
🛡️Error Boundaries
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Loading...Loading more...
AboutBlogChangelogRoadmap